perm filename APPROX[F86,JMC]1 blob
sn#828395 filedate 1986-11-17 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 approx[f86,jmc] Approximate theories - epistemological approximation
C00003 ENDMK
Cā;
approx[f86,jmc] Approximate theories - epistemological approximation
We need a formal notion of epistemological approximation of one theory
to another. In general the inference probably should include non-monotonic
inference.
Let T1 and T2 be two theories, and we want to say that T2 approximates T1
epistemologically. Let T1 and T2 have distinct vocabularies for
simplicity.
P1 ā§ P2 ā Q12